wayland: Add cursor-size setting
authorMatthias Clasen <mclasen@redhat.com>
Fri, 22 Mar 2013 23:27:36 +0000 (19:27 -0400)
committerMatthias Clasen <mclasen@redhat.com>
Fri, 22 Mar 2013 23:27:36 +0000 (19:27 -0400)
This will be picked up by cursor themes soon.

gdk/wayland/gdkscreen-wayland.c

index 15c4bd4acc06e3dd8b5e44055f8b5a1e1323c04e..021dc0318fb3d3b05680b1e9438a38356e1b687a 100644 (file)
@@ -293,6 +293,7 @@ static TranslationEntry translations[] = {
   { "org.gnome.desktop.interface", "gtk-theme", "gtk-theme-name" , G_TYPE_STRING, "Adwaita", 0 },
   { "org.gnome.desktop.interface", "icon-theme", "gtk-icon-theme-name", G_TYPE_STRING, "gnome", 0 },
   { "org.gnome.desktop.interface", "cursor-theme", "gtk-cursor-theme-name", G_TYPE_STRING, "Adwaita", 0 },
+  { "org.gnome.desktop.interface", "cursor-size", "gtk-cursor-theme-size", G_TYPE_INT, NULL, 32 },
   { "org.gnome.desktop.interface", "font-name", "gtk-font-name", G_TYPE_STRING, "Cantarell 11", 0 },
   { "org.gnome.desktop.interface", "cursor-blink", "gtk-cursor-blink", G_TYPE_BOOLEAN, NULL, 1 },
   { "org.gnome.desktop.interface", "cursor-blink-time", "gtk-cursor-blink-time", G_TYPE_INT, NULL, 1200 },